1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
پدیدآورنده: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
2. Algorithmic problem solving /
پدیدآورنده: Roland Backhouse.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Problem solving.,Computer algorithms.,Computer Science.,Engineering & Applied Sciences.,Problem solving.
رده :
QA76
.
9
.
A43
B34
2011
3. Construction et verification de programmes
پدیدآورنده: / Roland C. Backhouse
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer programes
رده :
QA
76
.
6
.
B3C6
4. Construction et verification de programmes
پدیدآورنده: BACKHOUSE,ROLAND C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
B22
1989
5. Construction et verification le programmes
پدیدآورنده: Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer software- Verfication
رده :
005
B126c
6. Generic programmin
پدیدآورنده: / Roland Backhouse, Jeremy Gibbons, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Generic programming (Computer science)
رده :
QA
,
76
.
6245
,.
G46
,
2003
7. Generic programming : advanced lectures
پدیدآورنده: Roland Backhouse, Jeremy Gibbons )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Generic programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2793
8. Mathematics of program construction
پدیدآورنده: / Roland Backhouse, Josae Nuno Oliveira (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
I5535
,
2000
9. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده: Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
10. Program construction and verification
پدیدآورنده: Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
11. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Program construction and verification
پدیدآورنده: / Roland C. Backhouse
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
13. Syntax of programming languages: theory and practice
پدیدآورنده: Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
